This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.

An anthology of readings in panpsychism, spanning two millennia.

Almost traditionally, it seems, accounts of the development of the concepts of work and energy have tended to describe them within the classical framework of Newtonian mechanics. They are seen as the end products of the celebratedvis-vivadispute in the eighteenth century: the outcome of a debate within the confines of the science of rational mechanics. I would like to suggest that this may be to take too narrow a view of the case. It is to project backwards our present specialist (...) arrangement of scientific knowledge, our present divisions between the sciences, and to assume that past development was strictly guided by these divisions. And this is to make questionable historical and sociological assumptions. (shrink)

This article traces the career path and personality of a chancery official or secretary in the service of the Gonzaga, the ruling dynasty of Mantua, in the middle years of the fifteenth century. It relates Giovanni Arrivabene to the contemporary social, political and cultural context of this secondary northern Italian power or signoria but touches the wider Italian world at many points, particularly the papal court, whether in Rome or other locations, where Giovanni’s talented younger brother served first as the (...) secretary of Cardinal Francesco Gonzaga and later as an apostolic secretary. The comparison between the two brothers and their interdependence as property owners is a recurring theme. Giovanni emerges with evident limitations which hampered the succession to his father’s superior role in the chancery, where other privileged families also tended to prevail. Humanist educated and efficient, he seems to have been a bureaucrat of routine abilities, not quite astute enough to outpace certain departmental rivals or to avoid being tainted by association with some possibly corrupt practice which caused loss of favour. His later rehabilitation, first as a provincial magistrate concerned with criminal jurisdiction and later as an estate management official, illustrates that private relationships within the narrow world of a civic quasi despotic government were all important. (shrink)

This is a criticism of quine's treatment of mass terms such as "water", "gold", Etc. In word and object. Instead of becoming singular terms referring to a "scattered object", It is argued that they either become general terms as subjects of sentences or retain their unique status as ascribed to an indicated place.

This paper attempts to outline the logical structure of imperatives. It criticizes the prevailing view that this structure is isomorphic with that for indicatives. For "mixed" imperatives with constituents in both indicative and imperative moods (e.G., Conditional imperatives with indicative antecedents) there are features unique to imperatives. These features are specified, And consequences of them are traced. Finally, Formation rules for imperatives are stated.

In this bold, challenging book, D. S. Clarke outlines reasons for accepting panpsychism and defends the doctrine against its critics.

Since the revolution in philosophic method that began about a century ago, the focus of philosophic attention has been on language as used both in daily conversation and in specialized institutional activities such as science, law, and the arts. But language is an extremely complex and varied means of communication, and the study of it has been increasingly incorporated into such empirical disciplines as linguistics, psycho linguistics, and cognitive psychology. It is becoming less clear what aspects of language remain as (...) proper subjects of philosophical study, what are to be "kicked upstairs" (J. L. Austin's phrase) to the sciences. This work is a study of those logical features of language that remain central to philosophy after completion of kicking up. It conducts this study by describing similarities and differences between signs at differing levels, starting with natural events as primitive signs in the environments of their interpreters, and proceeding to pre linguistic signaling systems, elementary forms of language, and finally to the forms of specialized discourse used within social institutions. The investiga tion of comparative features requires isolating basic mental capacities that are present in the most primitive forms of organisms capable of sign interpretation. The problem then becomes one of tracing the emergence from these capacities of such categories as substance, attribute or quality, and quantity that we apply to natural languages. The study of sign levels is thus the construction of a genealogy of logical categories marking the develop ment of natural languages. (shrink)

Introduction What is the point of studying Aristotle's theory of moral virtue? In the first place, many interesting questions are raised, in metaphysics, ...